#	Mirrored Lens with dihedral angle 2π/6
#
#	The matrix elements lie in the field Q[√3].

  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.50000000000000000000 -0.86602540378443864676
  0.00000000000000000000  0.00000000000000000000 -0.86602540378443864676  0.50000000000000000000

  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  1.00000000000000000000  0.00000000000000000000  0.00000000000000000000
  0.00000000000000000000  0.00000000000000000000 -0.50000000000000000000  0.86602540378443864676
  0.00000000000000000000  0.00000000000000000000  0.86602540378443864676  0.50000000000000000000
